Ref URLs:

http://openplaques.org/

An Introduction to Analysing Spatial Patterns

1. Point Pattern Analysis

The question we want to answer is: “For any given London Borough, are the Blue Plaques within that borough distributed randomly or do they exhibit some kind of dispersed or clustered pattern?”

libraries

#install.packages("spatstat")
#install.packages("GISTools")
library(spatstat)
library(sp)
library(rgeos)
library(maptools)
library(GISTools)
library(tmap)
library(sf)
library(geojsonio)
library(tmaptools)

Set up data

London Boroughs

##First, get the London Borough Boundaries
EW <- geojson_read("http://geoportal.statistics.gov.uk/datasets/8edafbe3276d4b56aec60991cbddda50_2.geojson", what = "sp")
#pull out london using grep and the regex wildcard for'start of the string' (^) to to look for the bit of the district code that relates to London (E09) from the 'lad15cd' column in the data slot of our spatial polygons dataframe
BoroughMap <- EW[grep("^E09",EW@data$lad15cd),]
#plot it using the base plot function
qtm(BoroughMap)

Blue Plaques

##Now get the location of all Blue Plaques in the City
BluePlaques <- geojson_read("https://s3.eu-west-2.amazonaws.com/openplaques/open-plaques-london-2018-04-08.geojson", what = "sp")

Check CRS

summary(BoroughMap)
Object of class SpatialPolygonsDataFrame
Coordinates:
        min        max
x -0.510277  0.3340243
y 51.286759 51.6918756
Is projected: FALSE 
proj4string :
[+proj=longlat +datum=WGS84 +no_defs +ellps=WGS84 +towgs84=0,0,0]
Data attributes:
      lad15cd                   lad15nm            lad15nmw     objectid   st_lengthshape   st_areashape      
 E09000001: 1   Barking and Dagenham: 1                :33   Min.   :294   Min.   : 8929   Min.   :  2897649  
 E09000002: 1   Barnet              : 1   Abertawe     : 0   1st Qu.:302   1st Qu.:28384   1st Qu.: 26797942  
 E09000003: 1   Bexley              : 1   Blaenau Gwent: 0   Median :310   Median :37664   Median : 37628571  
 E09000004: 1   Brent               : 1   Bro Morgannwg: 0   Mean   :310   Mean   :39255   Mean   : 47682317  
 E09000005: 1   Bromley             : 1   Caerdydd     : 0   3rd Qu.:318   3rd Qu.:46679   3rd Qu.: 56413925  
 E09000006: 1   Camden              : 1   Caerffili    : 0   Max.   :326   Max.   :74641   Max.   :150125298  
 (Other)  :27   (Other)             :27   (Other)      : 0                                                    
summary(BluePlaques)
Object of class SpatialPointsDataFrame
Coordinates:
             min      max
coords.x1 -0.477  0.21903
coords.x2  0.000 51.67830
Is projected: FALSE 
proj4string :
[+proj=longlat +datum=WGS84 +no_defs +ellps=WGS84 +towgs84=0,0,0]
Number of points: 2812
Data attributes:
       id         
 Min.   :    1.0  
 1st Qu.:  711.8  
 Median : 6089.0  
 Mean   :10622.0  
 3rd Qu.:10358.2  
 Max.   :49190.0  
                  
                                                                                                                                                                              inscription  
 Frank Matcham (1854-1920) theatre architect designed this theatre                                                                                                                  :   3  
 Charlie Chester MBE                                                                                                                                                                :   2  
 Grim’s Dyke                                                                                                                                                                        :   2  
 Lillie Langtry 1852-1929 actress lived here                                                                                                                                        :   2  
  J. H. Greathead   Chief Engineer City and South London Railway. Inventor of the Travelling Shield that made possible the cutting of the tunnels of London's deep level tube system:   1  
  Joseph Wilson Swan and Sir James Dewar                                                                                                                                            :   1  
 (Other)                                                                                                                                                                            :2801  

Transform CRS from 4326 to 27700. (for Kernel Density Estimation, spatial data needs to be projected)

#now set up an EPSG string to help set the projection 
BNG = "+init=epsg:27700"
BluePlaques <- spTransform(BluePlaques, BNG)
BoroughMap <- spTransform(BoroughMap, BNG)

Plot Blue Plaques interactive map

tmap_mode("view")
tmap mode set to interactive viewing
tm_shape(BoroughMap) +
  tm_polygons(col = NA, alpha = 0.5) +
tm_shape(BluePlaques) +
  tm_dots(col = "blue")

Clip plaques to ‘LondonBorough’ boundaries

##first we'll remove any Plaques with the same grid reference as this will cause problems later on in the analysis...
BluePlaques <- remove.duplicates(BluePlaques)
#now just select the points inside London - thanks to Robin Lovelace for posting how to do this one, very useful!
BluePlaquesSub <- BluePlaques[BoroughMap,]
#check to see that they've been removed
tmap_mode("view")
tmap mode set to interactive viewing
tm_shape(BoroughMap) +
  tm_polygons(col = NA, alpha = 0.5) +
tm_shape(BluePlaquesSub) +
  tm_dots(col = "blue")

Select one Borough for analysis

#OK, so just select the borough you are interested in. I'm going to try Haringey, you can choose any borough you like...
Borough <- BoroughMap[BoroughMap@data$lad15nm=="Haringey",]
#Check to see that the correct borough has been pulled out
tm_shape(Borough) +
  tm_polygons(col = NA, alpha = 0.5)

Subset Blue Plaques falling in Haringey

#clip the data to our single borough
BluePlaquesSub <- BluePlaques[Borough,]
#check that it's worked
tm_shape(Borough) +
  tm_polygons(col = NA, alpha = 0.5) +
tm_shape(BluePlaquesSub) +
  tm_dots(col = "blue")

We now have all of our data set up so that we can start the analysis using spatstat. The first thing we need to do is create an observation window for spatstat to carry out its analysis within - we’ll set this to the extent of the Haringey boundary

##now set a window as the borough boundary
window <- as.owin(Borough)
plot(window)

spatstat has its own set of spatial objects that it works with (one of the delights of R is that different packages are written by different people and many have developed their own data types) - it does not work directly with the SpatialPolygonsDataFrames, SpatialPointsDataFrames or sf objects that we are used to. For point pattern analysis, we need to create a point pattern (ppp) object.

#create a ppp object
BluePlaquesSub.ppp <- ppp(x=BluePlaquesSub@coords[,1],y=BluePlaquesSub@coords[,2],window=window)

Plot ppp object

plot(BluePlaquesSub.ppp,pch=16,cex=0.5, main="Blue Plaques Haringey")

Summarize point data - Kernel Density Estimation One way to summarise your point data is to plot the density of your points under a window called a ‘Kernel’. The size and shape of the Kernel affects the density pattern produced (more of this next week), but it is very easy to produce a KDE map from a ppp object using the density function.

plot(density(BluePlaquesSub.ppp, sigma = 500))

The sigma value sets the diameter of the Kernel (in the units your map is in - in this case, as we are in British National Grid the units are in metres). Try experimenting with different values of sigma to see how that affects the density estimate.

plot(density(BluePlaquesSub.ppp, sigma = 150))

1. Quadrat Analysis

The distribution of points in our study area differs from ‘complete spatial randomness’ - CSR? The most basic test of CSR is a quadrat analysis. We can carry out a simple quadrat analysis on our data using the quadrat count function in spatstat.

#First plot the points
plot(BluePlaquesSub.ppp,pch=16,cex=0.5, main="Blue Plaques in Haringey")
#now count the points in that fall in a 5 x 5 grid overlaid across the window
plot(quadratcount(BluePlaquesSub.ppp, nx = 5, ny = 5),add=T,col="red")

In our case here, want to know whether or not there is any kind of spatial patterning associated with the Blue Plaques in areas of London. If you recall from the lecture, this means comparing our observed distribution of points with a statistically likely (Complete Spatial Random) distibution, based on the Poisson distribution.

Using the same quadratcount function again (for the same sized grid) we can save the results into a table:

#run the quadrat count
Qcount<-data.frame(quadratcount(BluePlaquesSub.ppp, nx = 5, ny = 5))
#put the results into a data frame
QCountTable <- data.frame(table(Qcount$Freq, exclude=NULL))
#view the data frame
QCountTable

We don’t need the last row, so remove it

QCountTable <- QCountTable[-nrow(QCountTable),]
#check the data type in the first column - if it is factor, we will need to convert it to numeric
class(QCountTable[,1])
[1] "factor"
#oops, looks like it's a factor, so we need to convert it to numeric
vect<- as.numeric(levels(QCountTable[,1]))
vect <- vect[1:6]
QCountTable[,1] <- vect

OK, so we now have a frequency table - next we need to calculate our expected values. The formula for calculating expected probabilities based on the Poisson distribution is:

Pr(X=k)=λke/λk!

#calculate the total blue plaques (Var * Freq)
QCountTable$total <- QCountTable[,1]*QCountTable[,2]
#calculate mean
sums <- colSums(QCountTable[,-1])
sums
 Freq total 
   22    34 

Calculate Mean Poisson parameter

#and now calculate our mean Poisson parameter (lambda)
lambda <- sums[2]/sums[1]
#calculate expected using the Poisson formula from above - k is the number of blue plaques counted in a square and is found in the first column of our table...
QCountTable$Pr <- ((lambda^QCountTable[,1])*exp(-lambda))/factorial(QCountTable[,1])
#now calculate the expected counts and save them to the table
QCountTable$Expected <- round(QCountTable$Pr * sums[1],0)
QCountTable

Compare frequncy distributions

#Compare the frequency distributions of the observed and expected point patterns
plot(c(1,5),c(0,14), type="n", xlab="Number of Blue Plaques (Red=Observed, Blue=Expected)", ylab="Frequency of Occurances")
points(QCountTable$Freq, col="Red", type="o", lwd=3)
points(QCountTable$Expected, col="Blue", type="o", lwd=3)

Comparing the observed and expected frequencies for our quadrat counts, we can observe that they both have higher frequency counts at the lower end - something reminiscent of a Poisson distribution. This could indicate that for this particular set of quadrats, our pattern is close to Complete Spatial Randomness (i.e. no clustering or dispersal of points). But how do we confirm this?

To check for sure, we can use the quadrat.test function, built into spatstat. This uses a Chi Squared test to compare the observed and expected frequencies for each quadrat (rather than for quadrat bins, as we have just computed above). If the p-value of our Chi-Squared test is > 0.05, then we can reject a null hyphothesis that says “there is no complete spatial randomness in our data” (we will learn more about what a null-hypothesis is in a couple of weeks, but for the time being, just think about it as the opposite of a hypothesis that says our data exhibit complete spatial randomness). What we need to look for is a value for p > 0.05. If our p-value is > 0.05 then this indicates that we have CSR and there is no pattern in our points. If it is < 0.05, this indicates that we do have clustering in our points.

teststats <- quadrat.test(BluePlaquesSub.ppp, nx = 5, ny = 5)
Some expected counts are small; chi^2 approximation may be inaccurate
plot(BluePlaquesSub.ppp,pch=16,cex=0.1, main="Blue Plaques in Haringey")
plot(teststats, add=T, col = "red")

So we can see that the indications are there is no spatial patterning for Blue Plaques in Harrow - at least for this particular grid. Note the warning message - some of the observed counts are very small (0) and this may affect the accuracy of the quadrat test. Recall that the Poisson distribution only describes observed occurrances that are counted in integers - where our occurances = 0 (i.e. not observed), this can be an issue. We also know that there are various other problems that might affect our quadrat analysis, such as the modifiable areal unit problem.

In the new plot, we can see three figures for each quadrat. The top-left figure is the observed count of points; the top-right is the Poisson expected number of points; the bottom value is the Pearson residual value, or (Observed - Expected) / Sqrt(Expected).

2. Ripley’s K

One way of getting around the limitations of quadrat analysis is to compare the observed distribution of points with the Poisson random model for a whole range of different distance radii. This is what Ripley’s K function computes.
We can conduct a Ripley’s K test on our data very simply with the spatstat package using the kest function.

K <- Kest(BluePlaquesSub.ppp, correction="border")
plot(K)

The plot for K has a number of elements that are worth explaining. First, the Kpois(r) line in Red is the theoretical value of K for each distance window (r) under a Poisson assumption of Complete Spatial Randomness. The Black line is the estimated values of K accounting for the effects of the edge of the study area.

Where the value of K falls above the line, the data appear to be clustered at that distance. Where the value of K is below the line, the data are dispersed. “From the graph, we can see that up until distances of around 1300 metres, Blue Plaques appear to be clustered in Haringey, however, at around 1500 m, the distribution appears random and then dispersed between about 1600 and 2100 metres”.

Alternatives to Ripley’s K
There are a number of alternative measures of spatial clustering which can be computed in spatstat such as the G and the L functions - I won’t go into them now, but if you are interested, you should delve into the following references:

Bivand, R. S., Pebesma, E. J., & Gómez-Rubio, V. (2008). “Applied spatial data analysis with R.” New York: Springer.
Brundson, C., Comber, L., (2015) “An Introduction to R for Spatial Analysis & Mapping”. Sage.

https://research.csiro.au/software/wp-content/uploads/sites/6/2015/02/Rspatialcourse_CMIS_PDF-Standard.pdf

2. Density-based spatial clustering of applications with noise: DBSCAN

Quadrat and Ripley’s K analysis are useful exploratory techniques for telling us if we have spatial clusters present in our point data, but they are not able to tell us WHERE in our area of interest the clusters are occurring. To discover this we need to use alternative techniques. One popular technique for discovering clusters in space (be this physical space or variable space) is DBSCAN. For the complete overview of the DBSCAN algorithm, read the original paper by Ester et al. (1996) - http://www.aaai.org/Papers/KDD/1996/KDD96-037.pdf or consult the wikipedia page - https://en.wikipedia.org/wiki/DBSCAN

libraries

library(raster)

Attaching package: ‘raster’

The following objects are masked from ‘package:MASS’:

    area, select

The following objects are masked from ‘package:spatstat’:

    area, rotate, shift

The following object is masked from ‘package:nlme’:

    getData
library(fpc)
Error in library(fpc) : there is no package called ‘fpc’

DBSCAN requires you to input two parameters: 1. Epsilon - this is the radius within which the algorithm with search for clusters 2. MinPts - this is the minimum number of points that should be considered a cluster

“Based on the results of the Ripley’s K analysis earlier, we can see that we are getting clustering up to a radius of around 1200m, with the largest bulge in the graph at around 700m. Therefore, 700m is probably a good place to start and we will begin by searching for clusters of at least 4 points…”

So the DBSCAN analysis shows that for these values of eps and MinPts there are three clusters in the area I am analysing. Try varying eps and MinPts to see what difference it makes to the output.

No of course the plot above is a little basic and doesn’t look very aesthetically pleasing. As this is R and R is brilliant, we can always produce a much nicer plot by extracting the useful information from the DBSCAN output and use ggplot2 to produce a much cooler map…

rr library(ggplot2) #our new db object contains lots of info including the cluster each set of point coordinates belongs to, whether the point is a seed point or a border point etc. We can get a summary by just calling the object db

dbscan Pts=41 MinPts=3 eps=300
        0 1 2
border 29 1 1
seed    0 5 5
total  29 6 6

rr #if you open up the object in the environment window in RStudio, you will also see the various slots in the object, including cluster db$cluster

 [1] 0 0 1 1 0 1 0 2 2 0 2 1 0 2 0 0 0 0 2 0 0 1 0 0 0 0
[27] 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0

rr #we can now add this cluster membership info back into our dataframe BluePlaquesSubPoints\(cluster <- db\)cluster #next we are going to create some convex hull polygons to wrap around the points in our clusters #use the ddply function in the plyr package to get the convex hull coordinates from the cluster groups in our dataframe chulls <- ddply(BluePlaquesSubPoints, .(cluster), function(df) df[chull(df\(coords.x1, df\)coords.x2), ]) # as 0 isn’t actually a cluster (it’s all points that aren’t in a cluster) drop it from the dataframe chulls <- subset(chulls, cluster>=1) #now create a ggplot2 object from our data dbplot <- ggplot(data=BluePlaquesSubPoints, aes(coords.x1,coords.x2, colour=cluster, fill=cluster)) #add the points in dbplot <- dbplot + geom_point() #now the convex hulls dbplot <- dbplot + geom_polygon(data = chulls, aes(coords.x1,coords.x2, group=cluster), alpha = 0.5) #now plot, setting the coordinates to scale correctly and as a black and white plot (just for the hell of it)… dbplot + theme_bw() + coord_equal()

2. Analysing Spatial Autocorrelation with Moran’s I, LISA and friends

LS0tCnRpdGxlOiAiUHJhY3RpY2FsIDYiCm91dHB1dDogaHRtbF9ub3RlYm9vawotLS0KClJlZiBVUkxzOiAgCgpodHRwOi8vb3BlbnBsYXF1ZXMub3JnLyAgCgojIyMgQW4gSW50cm9kdWN0aW9uIHRvIEFuYWx5c2luZyBTcGF0aWFsIFBhdHRlcm5zCgojIyMjIDEuIFBvaW50IFBhdHRlcm4gQW5hbHlzaXMgCgpUaGUgcXVlc3Rpb24gd2Ugd2FudCB0byBhbnN3ZXIgaXM6ICrigJxGb3IgYW55IGdpdmVuIExvbmRvbiBCb3JvdWdoLCBhcmUgdGhlIEJsdWUgUGxhcXVlcyB3aXRoaW4gdGhhdCBib3JvdWdoIGRpc3RyaWJ1dGVkIHJhbmRvbWx5IG9yIGRvIHRoZXkgZXhoaWJpdCBzb21lIGtpbmQgb2YgZGlzcGVyc2VkIG9yIGNsdXN0ZXJlZCBwYXR0ZXJuP+KAnSoKCipsaWJyYXJpZXMqCmBgYHtyfQojaW5zdGFsbC5wYWNrYWdlcygic3BhdHN0YXQiKQojaW5zdGFsbC5wYWNrYWdlcygiR0lTVG9vbHMiKQpsaWJyYXJ5KHNwYXRzdGF0KQpsaWJyYXJ5KHNwKQpsaWJyYXJ5KHJnZW9zKQpsaWJyYXJ5KG1hcHRvb2xzKQpsaWJyYXJ5KEdJU1Rvb2xzKQpsaWJyYXJ5KHRtYXApCmxpYnJhcnkoc2YpCmxpYnJhcnkoZ2VvanNvbmlvKQpsaWJyYXJ5KHRtYXB0b29scykKYGBgCgpTZXQgdXAgZGF0YQoKTG9uZG9uIEJvcm91Z2hzCmBgYHtyfQojI0ZpcnN0LCBnZXQgdGhlIExvbmRvbiBCb3JvdWdoIEJvdW5kYXJpZXMKRVcgPC0gZ2VvanNvbl9yZWFkKCJodHRwOi8vZ2VvcG9ydGFsLnN0YXRpc3RpY3MuZ292LnVrL2RhdGFzZXRzLzhlZGFmYmUzMjc2ZDRiNTZhZWM2MDk5MWNiZGRkYTUwXzIuZ2VvanNvbiIsIHdoYXQgPSAic3AiKQojcHVsbCBvdXQgbG9uZG9uIHVzaW5nIGdyZXAgYW5kIHRoZSByZWdleCB3aWxkY2FyZCBmb3Inc3RhcnQgb2YgdGhlIHN0cmluZycgKF4pIHRvIHRvIGxvb2sgZm9yIHRoZSBiaXQgb2YgdGhlIGRpc3RyaWN0IGNvZGUgdGhhdCByZWxhdGVzIHRvIExvbmRvbiAoRTA5KSBmcm9tIHRoZSAnbGFkMTVjZCcgY29sdW1uIGluIHRoZSBkYXRhIHNsb3Qgb2Ygb3VyIHNwYXRpYWwgcG9seWdvbnMgZGF0YWZyYW1lCkJvcm91Z2hNYXAgPC0gRVdbZ3JlcCgiXkUwOSIsRVdAZGF0YSRsYWQxNWNkKSxdCiNwbG90IGl0IHVzaW5nIHRoZSBiYXNlIHBsb3QgZnVuY3Rpb24KcXRtKEJvcm91Z2hNYXApCmBgYAoKQmx1ZSBQbGFxdWVzCmBgYHtyfQojI05vdyBnZXQgdGhlIGxvY2F0aW9uIG9mIGFsbCBCbHVlIFBsYXF1ZXMgaW4gdGhlIENpdHkKQmx1ZVBsYXF1ZXMgPC0gZ2VvanNvbl9yZWFkKCJodHRwczovL3MzLmV1LXdlc3QtMi5hbWF6b25hd3MuY29tL29wZW5wbGFxdWVzL29wZW4tcGxhcXVlcy1sb25kb24tMjAxOC0wNC0wOC5nZW9qc29uIiwgd2hhdCA9ICJzcCIpCmBgYAoKQ2hlY2sgQ1JTCmBgYHtyfQpzdW1tYXJ5KEJvcm91Z2hNYXApCnN1bW1hcnkoQmx1ZVBsYXF1ZXMpCmBgYAoKVHJhbnNmb3JtIENSUyBmcm9tIDQzMjYgdG8gMjc3MDAuCihmb3IgS2VybmVsIERlbnNpdHkgRXN0aW1hdGlvbiwgc3BhdGlhbCBkYXRhIG5lZWRzIHRvIGJlIHByb2plY3RlZCkKYGBge3J9CiNub3cgc2V0IHVwIGFuIEVQU0cgc3RyaW5nIHRvIGhlbHAgc2V0IHRoZSBwcm9qZWN0aW9uIApCTkcgPSAiK2luaXQ9ZXBzZzoyNzcwMCIKQmx1ZVBsYXF1ZXMgPC0gc3BUcmFuc2Zvcm0oQmx1ZVBsYXF1ZXMsIEJORykKQm9yb3VnaE1hcCA8LSBzcFRyYW5zZm9ybShCb3JvdWdoTWFwLCBCTkcpCmBgYAoKUGxvdCBCbHVlIFBsYXF1ZXMgaW50ZXJhY3RpdmUgbWFwCmBgYHtyfQp0bWFwX21vZGUoInZpZXciKQp0bV9zaGFwZShCb3JvdWdoTWFwKSArCiAgdG1fcG9seWdvbnMoY29sID0gTkEsIGFscGhhID0gMC41KSArCnRtX3NoYXBlKEJsdWVQbGFxdWVzKSArCiAgdG1fZG90cyhjb2wgPSAiYmx1ZSIpCmBgYAoKQ2xpcCBwbGFxdWVzIHRvICdMb25kb25Cb3JvdWdoJyBib3VuZGFyaWVzCmBgYHtyfQojI2ZpcnN0IHdlJ2xsIHJlbW92ZSBhbnkgUGxhcXVlcyB3aXRoIHRoZSBzYW1lIGdyaWQgcmVmZXJlbmNlIGFzIHRoaXMgd2lsbCBjYXVzZSBwcm9ibGVtcyBsYXRlciBvbiBpbiB0aGUgYW5hbHlzaXMuLi4KQmx1ZVBsYXF1ZXMgPC0gcmVtb3ZlLmR1cGxpY2F0ZXMoQmx1ZVBsYXF1ZXMpCiNub3cganVzdCBzZWxlY3QgdGhlIHBvaW50cyBpbnNpZGUgTG9uZG9uIC0gdGhhbmtzIHRvIFJvYmluIExvdmVsYWNlIGZvciBwb3N0aW5nIGhvdyB0byBkbyB0aGlzIG9uZSwgdmVyeSB1c2VmdWwhCkJsdWVQbGFxdWVzU3ViIDwtIEJsdWVQbGFxdWVzW0Jvcm91Z2hNYXAsXQojY2hlY2sgdG8gc2VlIHRoYXQgdGhleSd2ZSBiZWVuIHJlbW92ZWQKdG1hcF9tb2RlKCJ2aWV3IikKYGBgCgpgYGB7cn0KdG1fc2hhcGUoQm9yb3VnaE1hcCkgKwogIHRtX3BvbHlnb25zKGNvbCA9IE5BLCBhbHBoYSA9IDAuNSkgKwp0bV9zaGFwZShCbHVlUGxhcXVlc1N1YikgKwogIHRtX2RvdHMoY29sID0gImJsdWUiKQpgYGAKClNlbGVjdCBvbmUgQm9yb3VnaCBmb3IgYW5hbHlzaXMKYGBge3J9CiNPSywgc28ganVzdCBzZWxlY3QgdGhlIGJvcm91Z2ggeW91IGFyZSBpbnRlcmVzdGVkIGluLiBJJ20gZ29pbmcgdG8gdHJ5IEhhcmluZ2V5LCB5b3UgY2FuIGNob29zZSBhbnkgYm9yb3VnaCB5b3UgbGlrZS4uLgpCb3JvdWdoIDwtIEJvcm91Z2hNYXBbQm9yb3VnaE1hcEBkYXRhJGxhZDE1bm09PSJIYXJpbmdleSIsXQoKI0NoZWNrIHRvIHNlZSB0aGF0IHRoZSBjb3JyZWN0IGJvcm91Z2ggaGFzIGJlZW4gcHVsbGVkIG91dAp0bV9zaGFwZShCb3JvdWdoKSArCiAgdG1fcG9seWdvbnMoY29sID0gTkEsIGFscGhhID0gMC41KQpgYGAKClN1YnNldCBCbHVlIFBsYXF1ZXMgZmFsbGluZyBpbiBIYXJpbmdleQpgYGB7cn0KI2NsaXAgdGhlIGRhdGEgdG8gb3VyIHNpbmdsZSBib3JvdWdoCkJsdWVQbGFxdWVzU3ViIDwtIEJsdWVQbGFxdWVzW0Jvcm91Z2gsXQojY2hlY2sgdGhhdCBpdCdzIHdvcmtlZAp0bV9zaGFwZShCb3JvdWdoKSArCiAgdG1fcG9seWdvbnMoY29sID0gTkEsIGFscGhhID0gMC41KSArCnRtX3NoYXBlKEJsdWVQbGFxdWVzU3ViKSArCiAgdG1fZG90cyhjb2wgPSAiYmx1ZSIpCmBgYAoKV2Ugbm93IGhhdmUgYWxsIG9mIG91ciBkYXRhIHNldCB1cCBzbyB0aGF0IHdlIGNhbiBzdGFydCB0aGUgYW5hbHlzaXMgdXNpbmcgYHNwYXRzdGF0YC4gVGhlIGZpcnN0IHRoaW5nIHdlIG5lZWQgdG8gZG8gaXMgY3JlYXRlIGFuIG9ic2VydmF0aW9uIHdpbmRvdyBmb3IgIGBzcGF0c3RhdGAgdG8gY2Fycnkgb3V0IGl0cyBhbmFseXNpcyB3aXRoaW4gLSB3ZeKAmWxsIHNldCB0aGlzIHRvIHRoZSBleHRlbnQgb2YgdGhlIEhhcmluZ2V5IGJvdW5kYXJ5CgpgYGB7cn0KIyNub3cgc2V0IGEgd2luZG93IGFzIHRoZSBib3JvdWdoIGJvdW5kYXJ5CndpbmRvdyA8LSBhcy5vd2luKEJvcm91Z2gpCnBsb3Qod2luZG93KQpgYGAKCmBzcGF0c3RhdGAgaGFzIGl0cyBvd24gc2V0IG9mIHNwYXRpYWwgb2JqZWN0cyB0aGF0IGl0IHdvcmtzIHdpdGggKG9uZSBvZiB0aGUgZGVsaWdodHMgb2YgUiBpcyB0aGF0IGRpZmZlcmVudCBwYWNrYWdlcyBhcmUgd3JpdHRlbiBieSBkaWZmZXJlbnQgcGVvcGxlIGFuZCBtYW55IGhhdmUgZGV2ZWxvcGVkIHRoZWlyIG93biBkYXRhIHR5cGVzKSAtIGl0IGRvZXMgbm90IHdvcmsgZGlyZWN0bHkgd2l0aCB0aGUgU3BhdGlhbFBvbHlnb25zRGF0YUZyYW1lcywgU3BhdGlhbFBvaW50c0RhdGFGcmFtZXMgb3Igc2Ygb2JqZWN0cyB0aGF0IHdlIGFyZSB1c2VkIHRvLiBGb3IgcG9pbnQgcGF0dGVybiBhbmFseXNpcywgd2UgbmVlZCB0byBjcmVhdGUgYSBwb2ludCBwYXR0ZXJuIChwcHApIG9iamVjdC4KCmBgYHtyfQojY3JlYXRlIGEgcHBwIG9iamVjdApCbHVlUGxhcXVlc1N1Yi5wcHAgPC0gcHBwKHg9Qmx1ZVBsYXF1ZXNTdWJAY29vcmRzWywxXSx5PUJsdWVQbGFxdWVzU3ViQGNvb3Jkc1ssMl0sd2luZG93PXdpbmRvdykKYGBgCgpQbG90IHBwcCBvYmplY3QKYGBge3J9CnBsb3QoQmx1ZVBsYXF1ZXNTdWIucHBwLHBjaD0xNixjZXg9MC41LCBtYWluPSJCbHVlIFBsYXF1ZXMgSGFyaW5nZXkiKQpgYGAKClN1bW1hcml6ZSBwb2ludCBkYXRhIC0gS2VybmVsIERlbnNpdHkgRXN0aW1hdGlvbgpPbmUgd2F5IHRvIHN1bW1hcmlzZSB5b3VyIHBvaW50IGRhdGEgaXMgdG8gcGxvdCB0aGUgZGVuc2l0eSBvZiB5b3VyIHBvaW50cyB1bmRlciBhIHdpbmRvdyBjYWxsZWQgYSDigJhLZXJuZWzigJkuIFRoZSBzaXplIGFuZCBzaGFwZSBvZiB0aGUgS2VybmVsIGFmZmVjdHMgdGhlIGRlbnNpdHkgcGF0dGVybiBwcm9kdWNlZCAobW9yZSBvZiB0aGlzIG5leHQgd2VlayksIGJ1dCBpdCBpcyB2ZXJ5IGVhc3kgdG8gcHJvZHVjZSBhIEtERSBtYXAgZnJvbSBhIHBwcCBvYmplY3QgdXNpbmcgdGhlICBkZW5zaXR5IGZ1bmN0aW9uLgoKYGBge3J9CnBsb3QoZGVuc2l0eShCbHVlUGxhcXVlc1N1Yi5wcHAsIHNpZ21hID0gNTAwKSkKYGBgCgpUaGUgc2lnbWEgdmFsdWUgc2V0cyB0aGUgZGlhbWV0ZXIgb2YgdGhlIEtlcm5lbCAoaW4gdGhlIHVuaXRzIHlvdXIgbWFwIGlzIGluIC0gaW4gdGhpcyBjYXNlLCBhcyB3ZSBhcmUgaW4gQnJpdGlzaCBOYXRpb25hbCBHcmlkIHRoZSB1bml0cyBhcmUgaW4gbWV0cmVzKS4gVHJ5IGV4cGVyaW1lbnRpbmcgd2l0aCBkaWZmZXJlbnQgdmFsdWVzIG9mIHNpZ21hIHRvIHNlZSBob3cgdGhhdCBhZmZlY3RzIHRoZSBkZW5zaXR5IGVzdGltYXRlLgoKYGBge3J9CnBsb3QoZGVuc2l0eShCbHVlUGxhcXVlc1N1Yi5wcHAsIHNpZ21hID0gMTUwKSkKYGBgCgojIyMjIDEuIFF1YWRyYXQgQW5hbHlzaXMKClRoZSBkaXN0cmlidXRpb24gb2YgcG9pbnRzIGluIG91ciBzdHVkeSBhcmVhIGRpZmZlcnMgZnJvbSDigJhjb21wbGV0ZSBzcGF0aWFsIHJhbmRvbW5lc3PigJkgLSBDU1I/ClRoZSBtb3N0IGJhc2ljIHRlc3Qgb2YgQ1NSIGlzIGEgcXVhZHJhdCBhbmFseXNpcy4gV2UgY2FuIGNhcnJ5IG91dCBhIHNpbXBsZSBxdWFkcmF0IGFuYWx5c2lzIG9uIG91ciBkYXRhIHVzaW5nIHRoZSBgcXVhZHJhdCBjb3VudGAgZnVuY3Rpb24gaW4gYHNwYXRzdGF0YC4gCgpgYGB7cn0KI0ZpcnN0IHBsb3QgdGhlIHBvaW50cwpwbG90KEJsdWVQbGFxdWVzU3ViLnBwcCxwY2g9MTYsY2V4PTAuNSwgbWFpbj0iQmx1ZSBQbGFxdWVzIGluIEhhcmluZ2V5IikKI25vdyBjb3VudCB0aGUgcG9pbnRzIGluIHRoYXQgZmFsbCBpbiBhIDUgeCA1IGdyaWQgb3ZlcmxhaWQgYWNyb3NzIHRoZSB3aW5kb3cKcGxvdChxdWFkcmF0Y291bnQoQmx1ZVBsYXF1ZXNTdWIucHBwLCBueCA9IDUsIG55ID0gNSksYWRkPVQsY29sPSJyZWQiKQpgYGAKCkluIG91ciBjYXNlIGhlcmUsIHdhbnQgdG8ga25vdyB3aGV0aGVyIG9yIG5vdCB0aGVyZSBpcyBhbnkga2luZCBvZiBzcGF0aWFsIHBhdHRlcm5pbmcgYXNzb2NpYXRlZCB3aXRoIHRoZSBCbHVlIFBsYXF1ZXMgaW4gYXJlYXMgb2YgTG9uZG9uLiBJZiB5b3UgcmVjYWxsIGZyb20gdGhlIGxlY3R1cmUsIHRoaXMgbWVhbnMgY29tcGFyaW5nIG91ciBvYnNlcnZlZCBkaXN0cmlidXRpb24gb2YgcG9pbnRzIHdpdGggYSBzdGF0aXN0aWNhbGx5IGxpa2VseSAoQ29tcGxldGUgU3BhdGlhbCBSYW5kb20pIGRpc3RpYnV0aW9uLCBiYXNlZCBvbiB0aGUgUG9pc3NvbiBkaXN0cmlidXRpb24uICAKClVzaW5nIHRoZSBzYW1lIGBxdWFkcmF0Y291bnRgIGZ1bmN0aW9uIGFnYWluIChmb3IgdGhlIHNhbWUgc2l6ZWQgZ3JpZCkgd2UgY2FuIHNhdmUgdGhlIHJlc3VsdHMgaW50byBhIHRhYmxlOgpgYGB7cn0KI3J1biB0aGUgcXVhZHJhdCBjb3VudApRY291bnQ8LWRhdGEuZnJhbWUocXVhZHJhdGNvdW50KEJsdWVQbGFxdWVzU3ViLnBwcCwgbnggPSA1LCBueSA9IDUpKQojcHV0IHRoZSByZXN1bHRzIGludG8gYSBkYXRhIGZyYW1lClFDb3VudFRhYmxlIDwtIGRhdGEuZnJhbWUodGFibGUoUWNvdW50JEZyZXEsIGV4Y2x1ZGU9TlVMTCkpCiN2aWV3IHRoZSBkYXRhIGZyYW1lClFDb3VudFRhYmxlCmBgYAoKV2UgZG9uJ3QgbmVlZCB0aGUgbGFzdCByb3csIHNvIHJlbW92ZSBpdApgYGB7cn0KUUNvdW50VGFibGUgPC0gUUNvdW50VGFibGVbLW5yb3coUUNvdW50VGFibGUpLF0KI2NoZWNrIHRoZSBkYXRhIHR5cGUgaW4gdGhlIGZpcnN0IGNvbHVtbiAtIGlmIGl0IGlzIGZhY3Rvciwgd2Ugd2lsbCBuZWVkIHRvIGNvbnZlcnQgaXQgdG8gbnVtZXJpYwpjbGFzcyhRQ291bnRUYWJsZVssMV0pCmBgYAoKYGBge3J9CiNvb3BzLCBsb29rcyBsaWtlIGl0J3MgYSBmYWN0b3IsIHNvIHdlIG5lZWQgdG8gY29udmVydCBpdCB0byBudW1lcmljCnZlY3Q8LSBhcy5udW1lcmljKGxldmVscyhRQ291bnRUYWJsZVssMV0pKQp2ZWN0IDwtIHZlY3RbMTo2XQpRQ291bnRUYWJsZVssMV0gPC0gdmVjdApgYGAKCk9LLCBzbyB3ZSBub3cgaGF2ZSBhIGZyZXF1ZW5jeSB0YWJsZSAtIG5leHQgd2UgbmVlZCB0byBjYWxjdWxhdGUgb3VyIGV4cGVjdGVkIHZhbHVlcy4gVGhlIGZvcm11bGEgZm9yIGNhbGN1bGF0aW5nIGV4cGVjdGVkIHByb2JhYmlsaXRpZXMgYmFzZWQgb24gdGhlIFBvaXNzb24gZGlzdHJpYnV0aW9uIGlzOgoKUHIoWD1rKT3Ou2tlL867ayEKCmBgYHtyfQojY2FsY3VsYXRlIHRoZSB0b3RhbCBibHVlIHBsYXF1ZXMgKFZhciAqIEZyZXEpClFDb3VudFRhYmxlJHRvdGFsIDwtIFFDb3VudFRhYmxlWywxXSpRQ291bnRUYWJsZVssMl0KI2NhbGN1bGF0ZSBtZWFuCnN1bXMgPC0gY29sU3VtcyhRQ291bnRUYWJsZVssLTFdKQpzdW1zCmBgYAoKQ2FsY3VsYXRlIE1lYW4gUG9pc3NvbiBwYXJhbWV0ZXIKYGBge3J9CiNhbmQgbm93IGNhbGN1bGF0ZSBvdXIgbWVhbiBQb2lzc29uIHBhcmFtZXRlciAobGFtYmRhKQpsYW1iZGEgPC0gc3Vtc1syXS9zdW1zWzFdCiNjYWxjdWxhdGUgZXhwZWN0ZWQgdXNpbmcgdGhlIFBvaXNzb24gZm9ybXVsYSBmcm9tIGFib3ZlIC0gayBpcyB0aGUgbnVtYmVyIG9mIGJsdWUgcGxhcXVlcyBjb3VudGVkIGluIGEgc3F1YXJlIGFuZCBpcyBmb3VuZCBpbiB0aGUgZmlyc3QgY29sdW1uIG9mIG91ciB0YWJsZS4uLgpRQ291bnRUYWJsZSRQciA8LSAoKGxhbWJkYV5RQ291bnRUYWJsZVssMV0pKmV4cCgtbGFtYmRhKSkvZmFjdG9yaWFsKFFDb3VudFRhYmxlWywxXSkKI25vdyBjYWxjdWxhdGUgdGhlIGV4cGVjdGVkIGNvdW50cyBhbmQgc2F2ZSB0aGVtIHRvIHRoZSB0YWJsZQpRQ291bnRUYWJsZSRFeHBlY3RlZCA8LSByb3VuZChRQ291bnRUYWJsZSRQciAqIHN1bXNbMV0sMCkKUUNvdW50VGFibGUKYGBgCgpDb21wYXJlIGZyZXF1bmN5IGRpc3RyaWJ1dGlvbnMKYGBge3J9CiNDb21wYXJlIHRoZSBmcmVxdWVuY3kgZGlzdHJpYnV0aW9ucyBvZiB0aGUgb2JzZXJ2ZWQgYW5kIGV4cGVjdGVkIHBvaW50IHBhdHRlcm5zCnBsb3QoYygxLDUpLGMoMCwxNCksIHR5cGU9Im4iLCB4bGFiPSJOdW1iZXIgb2YgQmx1ZSBQbGFxdWVzIChSZWQ9T2JzZXJ2ZWQsIEJsdWU9RXhwZWN0ZWQpIiwgeWxhYj0iRnJlcXVlbmN5IG9mIE9jY3VyYW5jZXMiKQpwb2ludHMoUUNvdW50VGFibGUkRnJlcSwgY29sPSJSZWQiLCB0eXBlPSJvIiwgbHdkPTMpCnBvaW50cyhRQ291bnRUYWJsZSRFeHBlY3RlZCwgY29sPSJCbHVlIiwgdHlwZT0ibyIsIGx3ZD0zKQpgYGAKCkNvbXBhcmluZyB0aGUgb2JzZXJ2ZWQgYW5kIGV4cGVjdGVkIGZyZXF1ZW5jaWVzIGZvciBvdXIgcXVhZHJhdCBjb3VudHMsIHdlIGNhbiBvYnNlcnZlIHRoYXQgdGhleSBib3RoIGhhdmUgaGlnaGVyIGZyZXF1ZW5jeSBjb3VudHMgYXQgdGhlIGxvd2VyIGVuZCAtIHNvbWV0aGluZyByZW1pbmlzY2VudCBvZiBhIFBvaXNzb24gZGlzdHJpYnV0aW9uLiBUaGlzIGNvdWxkIGluZGljYXRlIHRoYXQgZm9yIHRoaXMgcGFydGljdWxhciBzZXQgb2YgcXVhZHJhdHMsIG91ciBwYXR0ZXJuIGlzIGNsb3NlIHRvIENvbXBsZXRlIFNwYXRpYWwgUmFuZG9tbmVzcyAoaS5lLiBubyBjbHVzdGVyaW5nIG9yIGRpc3BlcnNhbCBvZiBwb2ludHMpLiBCdXQgaG93IGRvIHdlIGNvbmZpcm0gdGhpcz8KClRvIGNoZWNrIGZvciBzdXJlLCB3ZSBjYW4gdXNlIHRoZSBxdWFkcmF0LnRlc3QgZnVuY3Rpb24sIGJ1aWx0IGludG8gc3BhdHN0YXQuIFRoaXMgdXNlcyBhIENoaSBTcXVhcmVkIHRlc3QgdG8gY29tcGFyZSB0aGUgb2JzZXJ2ZWQgYW5kIGV4cGVjdGVkIGZyZXF1ZW5jaWVzIGZvciBlYWNoIHF1YWRyYXQgKHJhdGhlciB0aGFuIGZvciBxdWFkcmF0IGJpbnMsIGFzIHdlIGhhdmUganVzdCBjb21wdXRlZCBhYm92ZSkuIElmIHRoZSBwLXZhbHVlIG9mIG91ciBDaGktU3F1YXJlZCB0ZXN0IGlzID4gMC4wNSwgdGhlbiB3ZSBjYW4gcmVqZWN0IGEgbnVsbCBoeXBob3RoZXNpcyB0aGF0IHNheXMg4oCcdGhlcmUgaXMgbm8gY29tcGxldGUgc3BhdGlhbCByYW5kb21uZXNzIGluIG91ciBkYXRh4oCdICh3ZSB3aWxsIGxlYXJuIG1vcmUgYWJvdXQgd2hhdCBhIG51bGwtaHlwb3RoZXNpcyBpcyBpbiBhIGNvdXBsZSBvZiB3ZWVrcywgYnV0IGZvciB0aGUgdGltZSBiZWluZywganVzdCB0aGluayBhYm91dCBpdCBhcyB0aGUgb3Bwb3NpdGUgb2YgYSBoeXBvdGhlc2lzIHRoYXQgc2F5cyBvdXIgZGF0YSBleGhpYml0IGNvbXBsZXRlIHNwYXRpYWwgcmFuZG9tbmVzcykuIFdoYXQgd2UgbmVlZCB0byBsb29rIGZvciBpcyBhIHZhbHVlIGZvciBwID4gMC4wNS4gSWYgb3VyIHAtdmFsdWUgaXMgPiAwLjA1IHRoZW4gdGhpcyBpbmRpY2F0ZXMgdGhhdCB3ZSBoYXZlIENTUiBhbmQgdGhlcmUgaXMgbm8gcGF0dGVybiBpbiBvdXIgcG9pbnRzLiBJZiBpdCBpcyA8IDAuMDUsIHRoaXMgaW5kaWNhdGVzIHRoYXQgd2UgZG8gaGF2ZSBjbHVzdGVyaW5nIGluIG91ciBwb2ludHMuCgpgYGB7cn0KdGVzdHN0YXRzIDwtIHF1YWRyYXQudGVzdChCbHVlUGxhcXVlc1N1Yi5wcHAsIG54ID0gNSwgbnkgPSA1KQpgYGAKCmBgYHtyfQpwbG90KEJsdWVQbGFxdWVzU3ViLnBwcCxwY2g9MTYsY2V4PTAuMSwgbWFpbj0iQmx1ZSBQbGFxdWVzIGluIEhhcmluZ2V5IikKcGxvdCh0ZXN0c3RhdHMsIGFkZD1ULCBjb2wgPSAicmVkIikKCmBgYAoKU28gd2UgY2FuIHNlZSB0aGF0IHRoZSBpbmRpY2F0aW9ucyBhcmUgdGhlcmUgaXMgbm8gc3BhdGlhbCBwYXR0ZXJuaW5nIGZvciBCbHVlIFBsYXF1ZXMgaW4gSGFycm93IC0gYXQgbGVhc3QgZm9yIHRoaXMgcGFydGljdWxhciBncmlkLiBOb3RlIHRoZSB3YXJuaW5nIG1lc3NhZ2UgLSBzb21lIG9mIHRoZSBvYnNlcnZlZCBjb3VudHMgYXJlIHZlcnkgc21hbGwgKDApIGFuZCB0aGlzIG1heSBhZmZlY3QgdGhlIGFjY3VyYWN5IG9mIHRoZSBxdWFkcmF0IHRlc3QuIFJlY2FsbCB0aGF0IHRoZSBQb2lzc29uIGRpc3RyaWJ1dGlvbiBvbmx5IGRlc2NyaWJlcyBvYnNlcnZlZCBvY2N1cnJhbmNlcyB0aGF0IGFyZSBjb3VudGVkIGluIGludGVnZXJzIC0gd2hlcmUgb3VyIG9jY3VyYW5jZXMgPSAwIChpLmUuIG5vdCBvYnNlcnZlZCksIHRoaXMgY2FuIGJlIGFuIGlzc3VlLiBXZSBhbHNvIGtub3cgdGhhdCB0aGVyZSBhcmUgdmFyaW91cyBvdGhlciBwcm9ibGVtcyB0aGF0IG1pZ2h0IGFmZmVjdCBvdXIgcXVhZHJhdCBhbmFseXNpcywgc3VjaCBhcyB0aGUgbW9kaWZpYWJsZSBhcmVhbCB1bml0IHByb2JsZW0uICAKCkluIHRoZSBuZXcgcGxvdCwgd2UgY2FuIHNlZSB0aHJlZSBmaWd1cmVzIGZvciBlYWNoIHF1YWRyYXQuIFRoZSB0b3AtbGVmdCBmaWd1cmUgaXMgdGhlIG9ic2VydmVkIGNvdW50IG9mIHBvaW50czsgdGhlIHRvcC1yaWdodCBpcyB0aGUgUG9pc3NvbiBleHBlY3RlZCBudW1iZXIgb2YgcG9pbnRzOyB0aGUgYm90dG9tIHZhbHVlIGlzIHRoZSBQZWFyc29uIHJlc2lkdWFsIHZhbHVlLCBvciAoT2JzZXJ2ZWQgLSBFeHBlY3RlZCkgLyBTcXJ0KEV4cGVjdGVkKS4KCiMjIyMgMi4gUmlwbGV5J3MgSwoKT25lIHdheSBvZiBnZXR0aW5nIGFyb3VuZCB0aGUgbGltaXRhdGlvbnMgb2YgcXVhZHJhdCBhbmFseXNpcyBpcyB0byBjb21wYXJlIHRoZSBvYnNlcnZlZCBkaXN0cmlidXRpb24gb2YgcG9pbnRzIHdpdGggdGhlIFBvaXNzb24gcmFuZG9tIG1vZGVsIGZvciBhIHdob2xlIHJhbmdlIG9mIGRpZmZlcmVudCBkaXN0YW5jZSByYWRpaS4gVGhpcyBpcyB3aGF0IFJpcGxleeKAmXMgSyBmdW5jdGlvbiBjb21wdXRlcy4gIApXZSBjYW4gY29uZHVjdCBhIFJpcGxleeKAmXMgSyB0ZXN0IG9uIG91ciBkYXRhIHZlcnkgc2ltcGx5IHdpdGggdGhlIHNwYXRzdGF0IHBhY2thZ2UgdXNpbmcgdGhlIGtlc3QgZnVuY3Rpb24uCmBgYHtyfQpLIDwtIEtlc3QoQmx1ZVBsYXF1ZXNTdWIucHBwLCBjb3JyZWN0aW9uPSJib3JkZXIiKQpwbG90KEspCmBgYAoKVGhlIHBsb3QgZm9yIEsgaGFzIGEgbnVtYmVyIG9mIGVsZW1lbnRzIHRoYXQgYXJlIHdvcnRoIGV4cGxhaW5pbmcuIEZpcnN0LCB0aGUgS3BvaXMocikgbGluZSBpbiBSZWQgaXMgdGhlIHRoZW9yZXRpY2FsIHZhbHVlIG9mIEsgZm9yIGVhY2ggZGlzdGFuY2Ugd2luZG93IChyKSB1bmRlciBhIFBvaXNzb24gYXNzdW1wdGlvbiBvZiBDb21wbGV0ZSBTcGF0aWFsIFJhbmRvbW5lc3MuIFRoZSBCbGFjayBsaW5lIGlzIHRoZSBlc3RpbWF0ZWQgdmFsdWVzIG9mIEsgYWNjb3VudGluZyBmb3IgdGhlIGVmZmVjdHMgb2YgdGhlIGVkZ2Ugb2YgdGhlIHN0dWR5IGFyZWEuICAKCldoZXJlIHRoZSB2YWx1ZSBvZiBLIGZhbGxzIGFib3ZlIHRoZSBsaW5lLCB0aGUgZGF0YSBhcHBlYXIgdG8gYmUgY2x1c3RlcmVkIGF0IHRoYXQgZGlzdGFuY2UuIFdoZXJlIHRoZSB2YWx1ZSBvZiBLIGlzIGJlbG93IHRoZSBsaW5lLCB0aGUgZGF0YSBhcmUgZGlzcGVyc2VkLiAqIkZyb20gdGhlIGdyYXBoLCB3ZSBjYW4gc2VlIHRoYXQgdXAgdW50aWwgZGlzdGFuY2VzIG9mIGFyb3VuZCAxMzAwIG1ldHJlcywgQmx1ZSBQbGFxdWVzIGFwcGVhciB0byBiZSBjbHVzdGVyZWQgaW4gSGFyaW5nZXksIGhvd2V2ZXIsIGF0IGFyb3VuZCAxNTAwIG0sIHRoZSBkaXN0cmlidXRpb24gYXBwZWFycyByYW5kb20gYW5kIHRoZW4gZGlzcGVyc2VkIGJldHdlZW4gYWJvdXQgMTYwMCBhbmQgMjEwMCBtZXRyZXMiKi4gIAoKQWx0ZXJuYXRpdmVzIHRvIFJpcGxleeKAmXMgSyAgClRoZXJlIGFyZSBhIG51bWJlciBvZiBhbHRlcm5hdGl2ZSBtZWFzdXJlcyBvZiBzcGF0aWFsIGNsdXN0ZXJpbmcgd2hpY2ggY2FuIGJlIGNvbXB1dGVkIGluIHNwYXRzdGF0IHN1Y2ggYXMgdGhlIEcgYW5kIHRoZSBMIGZ1bmN0aW9ucyAtIEkgd29u4oCZdCBnbyBpbnRvIHRoZW0gbm93LCBidXQgaWYgeW91IGFyZSBpbnRlcmVzdGVkLCB5b3Ugc2hvdWxkIGRlbHZlIGludG8gdGhlIGZvbGxvd2luZyByZWZlcmVuY2VzOiAgCgpCaXZhbmQsIFIuIFMuLCBQZWJlc21hLCBFLiBKLiwgJiBHw7NtZXotUnViaW8sIFYuICgyMDA4KS4g4oCcQXBwbGllZCBzcGF0aWFsIGRhdGEgYW5hbHlzaXMgd2l0aCBSLuKAnSBOZXcgWW9yazogU3ByaW5nZXIuICAKQnJ1bmRzb24sIEMuLCBDb21iZXIsIEwuLCAoMjAxNSkg4oCcQW4gSW50cm9kdWN0aW9uIHRvIFIgZm9yIFNwYXRpYWwgQW5hbHlzaXMgJiBNYXBwaW5n4oCdLiBTYWdlLiAgCgpodHRwczovL3Jlc2VhcmNoLmNzaXJvLmF1L3NvZnR3YXJlL3dwLWNvbnRlbnQvdXBsb2Fkcy9zaXRlcy82LzIwMTUvMDIvUnNwYXRpYWxjb3Vyc2VfQ01JU19QREYtU3RhbmRhcmQucGRmICAKCiMjIyMgMi4gRGVuc2l0eS1iYXNlZCBzcGF0aWFsIGNsdXN0ZXJpbmcgb2YgYXBwbGljYXRpb25zIHdpdGggbm9pc2U6IERCU0NBTgoKUXVhZHJhdCBhbmQgUmlwbGV54oCZcyBLIGFuYWx5c2lzIGFyZSB1c2VmdWwgZXhwbG9yYXRvcnkgdGVjaG5pcXVlcyBmb3IgdGVsbGluZyB1cyBpZiB3ZSBoYXZlIHNwYXRpYWwgY2x1c3RlcnMgcHJlc2VudCBpbiBvdXIgcG9pbnQgZGF0YSwgYnV0IHRoZXkgYXJlIG5vdCBhYmxlIHRvIHRlbGwgdXMgV0hFUkUgaW4gb3VyIGFyZWEgb2YgaW50ZXJlc3QgdGhlIGNsdXN0ZXJzIGFyZSBvY2N1cnJpbmcuIFRvIGRpc2NvdmVyIHRoaXMgd2UgbmVlZCB0byB1c2UgYWx0ZXJuYXRpdmUgdGVjaG5pcXVlcy4gT25lIHBvcHVsYXIgdGVjaG5pcXVlIGZvciBkaXNjb3ZlcmluZyBjbHVzdGVycyBpbiBzcGFjZSAoYmUgdGhpcyBwaHlzaWNhbCBzcGFjZSBvciB2YXJpYWJsZSBzcGFjZSkgaXMgREJTQ0FOLiBGb3IgdGhlIGNvbXBsZXRlIG92ZXJ2aWV3IG9mIHRoZSBEQlNDQU4gYWxnb3JpdGhtLCByZWFkIHRoZSBvcmlnaW5hbCBwYXBlciBieSBFc3RlciBldCBhbC4gKDE5OTYpIC0gICBodHRwOi8vd3d3LmFhYWkub3JnL1BhcGVycy9LREQvMTk5Ni9LREQ5Ni0wMzcucGRmIG9yIGNvbnN1bHQgdGhlIHdpa2lwZWRpYSBwYWdlIC0gaHR0cHM6Ly9lbi53aWtpcGVkaWEub3JnL3dpa2kvREJTQ0FOICAKCipsaWJyYXJpZXMqCmBgYHtyfQpsaWJyYXJ5KHJhc3RlcikKbGlicmFyeShmcGMpCmxpYnJhcnkocGx5cikKI2luc3RhbGwucGFja2FnZXMoIk9wZW5TdHJlZXRNYXAiKQojbGlicmFyeShPcGVuU3RyZWV0TWFwKQoKYGBgCgpEQlNDQU4gcmVxdWlyZXMgeW91IHRvIGlucHV0IHR3byBwYXJhbWV0ZXJzOiAxLiBFcHNpbG9uIC0gdGhpcyBpcyB0aGUgcmFkaXVzIHdpdGhpbiB3aGljaCB0aGUgYWxnb3JpdGhtIHdpdGggc2VhcmNoIGZvciBjbHVzdGVycyAyLiBNaW5QdHMgLSB0aGlzIGlzIHRoZSBtaW5pbXVtIG51bWJlciBvZiBwb2ludHMgdGhhdCBzaG91bGQgYmUgY29uc2lkZXJlZCBhIGNsdXN0ZXIgIAoKKiJCYXNlZCBvbiB0aGUgcmVzdWx0cyBvZiB0aGUgUmlwbGV54oCZcyBLIGFuYWx5c2lzIGVhcmxpZXIsIHdlIGNhbiBzZWUgdGhhdCB3ZSBhcmUgZ2V0dGluZyBjbHVzdGVyaW5nIHVwIHRvIGEgcmFkaXVzIG9mIGFyb3VuZCAxMjAwbSwgd2l0aCB0aGUgbGFyZ2VzdCBidWxnZSBpbiB0aGUgZ3JhcGggYXQgYXJvdW5kIDcwMG0uIFRoZXJlZm9yZSwgNzAwbSBpcyBwcm9iYWJseSBhIGdvb2QgcGxhY2UgdG8gc3RhcnQgYW5kIHdlIHdpbGwgYmVnaW4gYnkgc2VhcmNoaW5nIGZvciBjbHVzdGVycyBvZiBhdCBsZWFzdCA0IHBvaW50c+KApiIqICAKCmBgYHtyfQojZmlyc3QgZXh0cmFjdCB0aGUgcG9pbnRzIGZyb20gdGhlIHNwYXRpYWwgcG9pbnRzIGRhdGEgZnJhbWUKQmx1ZVBsYXF1ZXNTdWJQb2ludHMgPC0gZGF0YS5mcmFtZShCbHVlUGxhcXVlc1N1YkBjb29yZHNbLDE6Ml0pCiNub3cgcnVuIHRoZSBkYnNjYW4gYW5hbHlzaXMKZGIgPC0gZnBjOjpkYnNjYW4oQmx1ZVBsYXF1ZXNTdWJQb2ludHMsIGVwcyA9IDMwMCwgTWluUHRzID0gMykKI25vdyBwbG90IHRoZSByZXN1bHRzCnBsb3QoZGIsIEJsdWVQbGFxdWVzU3ViUG9pbnRzLCBtYWluID0gIkRCU0NBTiBPdXRwdXQiLCBmcmFtZSA9IEYpCnBsb3QoQm9yb3VnaCwgYWRkPVQpCmBgYAoKU28gdGhlIERCU0NBTiBhbmFseXNpcyBzaG93cyB0aGF0IGZvciB0aGVzZSB2YWx1ZXMgb2YgZXBzIGFuZCBNaW5QdHMgdGhlcmUgYXJlICp0aHJlZSogY2x1c3RlcnMgaW4gdGhlIGFyZWEgSSBhbSBhbmFseXNpbmcuIFRyeSB2YXJ5aW5nIGVwcyBhbmQgTWluUHRzIHRvIHNlZSB3aGF0IGRpZmZlcmVuY2UgaXQgbWFrZXMgdG8gdGhlIG91dHB1dC4KCk5vIG9mIGNvdXJzZSB0aGUgcGxvdCBhYm92ZSBpcyBhIGxpdHRsZSBiYXNpYyBhbmQgZG9lc27igJl0IGxvb2sgdmVyeSBhZXN0aGV0aWNhbGx5IHBsZWFzaW5nLiBBcyB0aGlzIGlzIFIgYW5kIFIgaXMgYnJpbGxpYW50LCB3ZSBjYW4gYWx3YXlzIHByb2R1Y2UgYSBtdWNoIG5pY2VyIHBsb3QgYnkgZXh0cmFjdGluZyB0aGUgdXNlZnVsIGluZm9ybWF0aW9uIGZyb20gdGhlIERCU0NBTiBvdXRwdXQgYW5kIHVzZSBnZ3Bsb3QyIHRvIHByb2R1Y2UgYSBtdWNoIGNvb2xlciBtYXDigKYKCmBgYHtyfQpsaWJyYXJ5KGdncGxvdDIpCiNvdXIgbmV3IGRiIG9iamVjdCBjb250YWlucyBsb3RzIG9mIGluZm8gaW5jbHVkaW5nIHRoZSBjbHVzdGVyIGVhY2ggc2V0IG9mIHBvaW50IGNvb3JkaW5hdGVzIGJlbG9uZ3MgdG8sIHdoZXRoZXIgdGhlIHBvaW50IGlzIGEgc2VlZCBwb2ludCBvciBhIGJvcmRlciBwb2ludCBldGMuIFdlIGNhbiBnZXQgYSBzdW1tYXJ5IGJ5IGp1c3QgY2FsbGluZyB0aGUgb2JqZWN0CmRiCmBgYAoKYGBge3J9CiNpZiB5b3Ugb3BlbiB1cCB0aGUgb2JqZWN0IGluIHRoZSBlbnZpcm9ubWVudCB3aW5kb3cgaW4gUlN0dWRpbywgeW91IHdpbGwgYWxzbyBzZWUgdGhlIHZhcmlvdXMgc2xvdHMgaW4gdGhlIG9iamVjdCwgaW5jbHVkaW5nIGNsdXN0ZXIKZGIkY2x1c3RlcgpgYGAKCmBgYHtyfQojd2UgY2FuIG5vdyBhZGQgdGhpcyBjbHVzdGVyIG1lbWJlcnNoaXAgaW5mbyBiYWNrIGludG8gb3VyIGRhdGFmcmFtZQpCbHVlUGxhcXVlc1N1YlBvaW50cyRjbHVzdGVyIDwtIGRiJGNsdXN0ZXIKCiNuZXh0IHdlIGFyZSBnb2luZyB0byBjcmVhdGUgc29tZSBjb252ZXggaHVsbCBwb2x5Z29ucyB0byB3cmFwIGFyb3VuZCB0aGUgcG9pbnRzIGluIG91ciBjbHVzdGVycwoKI3VzZSB0aGUgZGRwbHkgZnVuY3Rpb24gaW4gdGhlIHBseXIgcGFja2FnZSB0byBnZXQgdGhlIGNvbnZleCBodWxsIGNvb3JkaW5hdGVzIGZyb20gdGhlIGNsdXN0ZXIgZ3JvdXBzIGluIG91ciBkYXRhZnJhbWUKY2h1bGxzIDwtIGRkcGx5KEJsdWVQbGFxdWVzU3ViUG9pbnRzLCAuKGNsdXN0ZXIpLCBmdW5jdGlvbihkZikgZGZbY2h1bGwoZGYkY29vcmRzLngxLCBkZiRjb29yZHMueDIpLCBdKQojIGFzIDAgaXNuJ3QgYWN0dWFsbHkgYSBjbHVzdGVyIChpdCdzIGFsbCBwb2ludHMgdGhhdCBhcmVuJ3QgaW4gYSBjbHVzdGVyKSBkcm9wIGl0IGZyb20gdGhlIGRhdGFmcmFtZQpjaHVsbHMgPC0gc3Vic2V0KGNodWxscywgY2x1c3Rlcj49MSkKCiNub3cgY3JlYXRlIGEgZ2dwbG90MiBvYmplY3QgZnJvbSBvdXIgZGF0YQpkYnBsb3QgPC0gZ2dwbG90KGRhdGE9Qmx1ZVBsYXF1ZXNTdWJQb2ludHMsIGFlcyhjb29yZHMueDEsY29vcmRzLngyLCBjb2xvdXI9Y2x1c3RlciwgZmlsbD1jbHVzdGVyKSkgCiNhZGQgdGhlIHBvaW50cyBpbgpkYnBsb3QgPC0gZGJwbG90ICsgZ2VvbV9wb2ludCgpCiNub3cgdGhlIGNvbnZleCBodWxscwpkYnBsb3QgPC0gZGJwbG90ICsgZ2VvbV9wb2x5Z29uKGRhdGEgPSBjaHVsbHMsIGFlcyhjb29yZHMueDEsY29vcmRzLngyLCBncm91cD1jbHVzdGVyKSwgYWxwaGEgPSAwLjUpIAojbm93IHBsb3QsIHNldHRpbmcgdGhlIGNvb3JkaW5hdGVzIHRvIHNjYWxlIGNvcnJlY3RseSBhbmQgYXMgYSBibGFjayBhbmQgd2hpdGUgcGxvdCAoanVzdCBmb3IgdGhlIGhlbGwgb2YgaXQpLi4uCmRicGxvdCArIHRoZW1lX2J3KCkgKyBjb29yZF9lcXVhbCgpCmBgYAoKIyMjIyAyLiBBbmFseXNpbmcgU3BhdGlhbCBBdXRvY29ycmVsYXRpb24gd2l0aCBNb3JhbuKAmXMgSSwgTElTQSBhbmQgZnJpZW5kcwoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCg==